The two-way global flow analysis of mode inference in logic programs 逻辑程序模式识别的双向全局流分析
This paper puts forward a new method and a corresponding algorithm used for a general-purpose global data-flow analysis, and gives the time complexity analysis and the correctness proof of the algorithm. 本文提出了一种通用的全局数据流分析新方法及相应的算法,并给出了该算法的时间复杂性分析及其正确性证明。
While many global data flow analysis problems have been solved successfully on the basis of Boolean algebra, it is found that many others should be solved on a more general basis of semilattice. 许多数据流的全局分析可以在布尔代数的基础上进行。为了解决更多的数据流问题,需要采用更为一般的代数系统。
The global flow analysis affects the accuracy of dependence analysis, the strategy of optimization and the efficiency of parallel transforming, so it Is Important too. This thesis deals with the flow analysis In the front-end of a parallel compiler. 依赖分析是并行重构的核心,而全局流分析直接影响着依赖分析的精确度,并影响着多种优化策略和并行转换的策略及效率。
There are global data flow diagram and local data flow diagram in the analysis of demand part. It describes the data flow which in the system. 其中需求分析部分给出系统全局数据流图和局部数据流图,描述系统中各部分的数据流向。